AI初創公司連破四項百年數學謎題

2026-02-10 | 來源: 煎蛋網 | 轉到微信 | 有0人參與評論 | 字體: 放大縮小 | 收藏 | 打印

2月5日，數學界的一個消息引起了轟動。一家名為Axiom(公理)的AI初創企業宣布，其開發的AI系統成功破解了四項此前未能解決的數學難題。這一突破不僅展示了人工智能日益增強的推理能力，也預示著科學發現的新范式。

故事要從5年前說起。數學家Dawei Chen和Quentin Gendron在研究代數幾何中的微分問題時，被一個涉及數論的奇怪公式難住了。他們當時無法證明該公式，只能將其作為一項猜想發表。不久前，Dawei Chen嘗試讓ChatGPT來解決這個難題，但並未成功。轉機出現在上個月華盛頓舉行的一場數學會議上。Dawei Chen遇到了著名數學家Ken Ono。Ken Ono最近離開了弗吉尼亞大學的工作，加入了由他的學生Carina Hong創辦的Axiom。

第二天早上，Ken Ono就帶來了一個由公司開發的公理驗證器生成的證明。Dawei Chen驚訝地發現，困擾多年的難題迎刃而解，目前這份證明已經發布在預印本平台上。公理驗證器發現了一個19世紀就存在的數值現象與該問題之間的聯系，並自主完成了驗證。Ken Ono向《連線》雜志表示，這個證明發現了一些被人類數學家長期忽略的關鍵點。

這只是Axiom近期取得的一系列成就之一。雖然它尚未攻克那些舉世聞名或獎金豐厚的頂級難題，但它解決了一些困擾專家多年的專業問題。Axiom的首席執行官Carina Hong解釋說，他們的技術將大語言模型與專利系統相結合，通過一種名為Lean語言的專業數學語言進行邏輯推理和自動驗證。這確保了AI生成的證明在邏輯上是無懈可擊的。早在2024年，谷歌就通過阿爾法證明系統展示了類似的思路，而Carina Hong表示公理求解器在此基礎上融入了更多先進技術。

BC礦業公司被綁架工人遺體被發現

一家鮮為人知的日本公司正掌控AI產業關鍵命脈

賈乃亮曬公司年會視頻,現場瘋狂撒錢

另一個顯著的突破是AI獨立完成了費爾猜想的證明。費爾猜想涉及代數中的合系問題，其公式最早可以追溯到100多年前印度傳奇數學家Srinivasa Ramanujan的筆記。哈佛商學院教授Scott Kominers對此感到震驚，他認為AI不僅實現了全自動解題，其產生的數學邏輯甚至具有某種優雅的美感。此外，AI還解決了數論中關於死胡同的概率模型，以及一個涉及費馬大定理研究工具的難題。

除了純數學研究，這種技術還具有極高的商業潛力。例如，AI驗證代碼邏輯的能力可以用於開發更安全的軟件，防御網絡安全攻擊。正如Carina Hong所說，數學是檢驗現實世界的終極試驗場。Dawei Chen則更加樂觀，他認為AI並不是要取代數學家，而是像計算器一樣，成為一種新型的智能合伙人，為人類開辟更廣闊的研究視野。